1. Numerical toolbox for verified computing
پدیدآورنده : / R. Hammer...[et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Numerical analysis,Error analysis (Mathematics),Numerical analysis, Use of, Computers
رده :
QA297
.
N8295
1993
2. Numerical toolbox for verified computing: basic numerical problems, theory, algorithms, pascal-XSC programs
پدیدآورنده : R. Hammer...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Numerical analysis,، Error analysis )Mathematics(
رده :
QA
300
.
N86
